翻訳と辞書
Words near each other
・ Βk-2C-B
・ Γ-convergence
・ Δ-hyperbolic space
・ Δ-opioid receptor
・ Δ13C
・ Δ15N
・ Δ18O
・ ΔF508
・ ΔP
・ ΔT
・ ΔT (disambiguation)
・ Ε-net
・ Ε-net (computational geometry)
・ Ε-quadratic form
・ Η set
Θ (set theory)
・ Θ10
・ Κ-opioid receptor
・ Κατά τον δαίμονα εαυτού
・ Λ-ring
・ ΛProlog
・ Μ operator
・ Μ(I) rheology
・ Μ-law algorithm
・ Μ-opioid receptor
・ Μ-recursive function
・ ΜC++
・ ΜClinux
・ ΜF
・ ΜFluids@Home


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Θ (set theory) : ウィキペディア英語版
Θ (set theory)

In set theory, Θ (pronounced like the letter theta) is the least nonzero ordinal α such that there is no surjection from the reals onto α.
If the axiom of choice (AC) holds (or even if the reals can be wellordered) then Θ is simply (2^)^+, the cardinal successor of the cardinality of the continuum. However, Θ is often studied in contexts where the axiom of choice fails, such as models of the axiom of determinacy.
Θ is also the supremum of the lengths of all prewellorderings of the reals.
==Proof of existence==
It may not be obvious that it can be proven, without using AC, that there even exists a nonzero ordinal onto which there is no surjection from the reals (if there is such an ordinal, then there must be a least one because the ordinals are wellordered). However, suppose there were no such ordinal. Then to every ordinal α we could associate the set of all prewellorderings of the reals having length α. This would give an injection from the class of all ordinals into the set of all sets of orderings on the reals (which can to be seen to be a set via repeated application of the powerset axiom). Now the axiom of replacement shows that the class of all ordinals is in fact a set. But that is impossible, by the Burali-Forti paradox.


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Θ (set theory)」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.